ADL: An Activity Description Language for Real-Time Networks. - Stephen Paynter; James M. Armstrong; Jan Haveman (Formal Aspects Comput., 2000)