A new approach to prototyping Ada-based hardware/software systems (1990)

by F Belz, D C Luckham
Venue:In Proc. ACM Tri-Ada'90 Conference