Construction of concrete verification models from C++. - Malay Haldar; Gagandeep Singh; Saurabh Prabhakar; Basant Dwivedi; Antara Ghosh (DAC, 2008)