Nancy A. Day, Amirhossein Vakili. Representing hierarchical state machine models in SMT-LIB. In Proceedings of the 8th International Workshop on Modeling in Software Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016. pages 67-73, ACM, 2016. [doi]
Abstract is missing.