Automatically verifying an object-oriented specification of the Steam-Boiler system. - Paulo J. F. Carreira; Miguel E. F. Costa (Sci. Comput. Program., 2003)