Ahmed Khoumsi Gregor von Bochmann Rachida Dssouli On specifying services and synthesizing protocols for real-time applications. 185-200 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#KhoumsiBD94