Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup. Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems. JCSE, 2(4):375-393, 2008. [doi]
@article{DechevMS08,
title = {Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems},
author = {Damian Dechev and Rabi N. Mahapatra and Bjarne Stroustrup},
year = {2008},
url = {http://jcse.kiise.org/PublishedPaper/year_abstract.asp?idx=31},
tags = {C++},
researchr = {https://researchr.org/publication/DechevMS08},
cites = {0},
citedby = {0},
journal = {JCSE},
volume = {2},
number = {4},
pages = {375-393},
}