W.: Modal interface automata (2013)

by G Lüttgen, Vogler
Venue:Logical Methods in Computer Science 9(3:4