• Castagnetti G, Piccolo M, Villa T, Yevtushenko N, Brayton R and Mishchenko A. Automated Synthesis of Protocol Converters with BALM-II. Revised Selected Papers of the SEFM 2015 Collocated Workshops on Software Engineering and Formal Methods - Volume 9509. (281-296).

    https://doi.org/10.1007/978-3-662-49224-6_23

  • Dubinin V, Vyatkin V and Hanisch H. Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. Proceedings of the 2015 IEEE Trustcom/BigDataSE/ISPA - Volume 03. (287-292).

    https://doi.org/10.1109/Trustcom.2015.646