Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae. Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS. In Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig, editors, Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers. Volume 4761 of Lecture Notes in Computer Science, pages 114-124, Springer, 2007. [doi]
Abstract is missing.