Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess. Model Construction and Priority Synthesis for Simple Interaction Systems. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Volume 6617 of Lecture Notes in Computer Science, pages 466-471, Springer, 2011. [doi]
Abstract is missing.