Reliable Software Technologies - Ada Europe 96: 1996 ...
Alfred Strohmeier
[LKA+/)5] David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, and Walter Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):336-355, April ...