1. A modal specification theory for components with data;Bauer,2012
2. Modal specifications;Larsen,1989
3. A Calculus of Communicating Systems;Milner,1980
4. U. Nyman, Modal transition systems as the basis for interface theories and product lines, Ph.D. Thesis, Department of Computer Science, Aalborg University (October 2008).
5. Modal interfaces: unifying interface automata and modal specifications;Raclet,2009