Fulvio Corno, Muhammad Sanaullah. Formal Verification of Device State Chart Models. In 7th International Conference on Intelligent Environments, IE 2011, Nottingham, United Kingdom, July 25-28, 2011. pages 66-73, IEEE, 2011. [doi]
Abstract is missing.