Title: Biblio RTF Export
Author: Biblio 7.x

Ray A, Cleaveland R.  2008.  Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.