"Modeling and Monitoring of Hierarchical State Machines in Scala."

Klaus Havelund, Rajeev Joshi (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics