Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider 0001, Martin Lukasiewycz, Samarjit Chakraborty. Formal verification of distributed controllers using Time-Stamped Event Count Automata. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 411-416, IEEE, 2013. [doi]
Abstract is missing.