Ricardo Civalero Bengt Jonsson Joakim Nilsson Validating Simulations Between Large Nondeterministic Specifications. 3-17 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#CivaleroJN93