Assertional Specification and Verification Using PVS of the Steam Boiler Control System. - Jan Vitt; Jozef Hooman (Formal Methods for Industrial Applications, 1995)

Inventors are not alike: the distribution of patenting output among industrial R&D personnel. - Holger Ernst; Christopher Leptien; Jan Vitt (IEEE Trans. Engineering Management, 2000)