publication venue for Preface to KOCSEA special issue. 6:279. 2012 Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems. 2:375-393. 2008