Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi. Extending ERS for Modelling Dynamic Workflows in Event-B. In 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. pages 20-29, IEEE Computer Society, 2017. [doi]
Abstract is missing.