Stanley Lee Suzanne Sluizer An Executable Language For Modeling Simple Behavior. 527-543 http://www.computer.org/tse/ts1991/e0527abs.htm 1991 17 IEEE Trans. Software Eng. 6 db/journals/tse/tse17.html#LeeS91