Stephen Paynter James M. Armstrong Jan Haveman ADL: An Activity Description Language for Real-Time Networks. 120-144 2000 12 Formal Asp. Comput. 2 http://link.springer.de/link/service/journals/00165/bibs/0012002/00120120.htm db/journals/fac/fac12.html#PaynterAH00