by Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.
Published in IEEE transactions on software engineering (01.04.1995)

by Augustin, Larry M., Gennart, Benoit A., Huh, Youm, Luckham, David C., Stanculescu, Alec G.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 25th ACM/IEEE conference on Design automation; 12-15 June 1988 (01.06.1988)

by Luckham, David C, Kenney, John J, Augustin, Larry M, Vera, James, Bryan, Doug, Mann, Walter
Published in IEEE transactions on software engineering (01.06.1995)