Shelekhov V. Comparison of automata-based engineering method and Event-B modeling method // # 18, 2021
