Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Complexity of Checking Strong Satisfiability of Reactive System Specifications. In Vinu V. Das, Passent El-Kafrawy, editors, Signal Processing and Information Technology - Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers. Volume 117 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 41-50, Springer, 2012. [doi]