Gerald Estrin Robert S. Fenchel Rami R. Razouk Mary K. Vernon SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems. 293-311 1986 12 IEEE Trans. Software Eng. 2 db/journals/tse/tse12.html#EstrinFRV86