Robert Coleman, Vladimir Estivill-Castro, René Hexel, Carl Lusty. Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. In Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner, editors, Simulation, Modeling, and Programming for Autonomous Robots - Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings. Volume 7628 of Lecture Notes in Computer Science, pages 52-64, Springer, 2012. [doi]
Abstract is missing.