An event based architecture definition language (1995)

by D C Luckham, J Vera
Venue:IEEE Transactions on Software Engineering