Murali Sitaraman (eds.), Foundations of Component-Based Systems (2000)

by Leavens
Venue:http://www.eecs.ucf.edu/~leavens/FoCBS-book/06-leavens-dhara.pdf’ [Leavens-etal05