1. SURF-2: A program for dependability evaluation of complex hardware and software systems;Béounes,1993
2. An object oriented methodology for the specification of Markov models;Berson,1991
3. Adding performance aspects to specification languages;Bochmann,1988
4. METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems;Carrasco;FTCS,1986
5. W. Chia-Whei Cheng, The TANGRAM graphical interface facility (TGIF) manual