Wang, Yingzi (2006) Relational specification of interface modules for real-time systems. Masters thesis, Memorial University of Newfoundland.