publisher of Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems. Journal of Computing Science and Engineering. 2:375-393. 2008