Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert. Insertion Modeling and Symbolic Verification of Large Systems. In Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed, editors, SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings. Volume 9369 of Lecture Notes in Computer Science, pages 3-18, Springer, 2015. [doi]
Abstract is missing.