Sathyanarayanan Subbiah, Srikanth Nagaraj. Issues with Object Orientation in Verifying Safety-Critical Systems. In 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan. pages 99-104, IEEE Computer Society, 2003. [doi]
Abstract is missing.