Author: International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain)