Kalla H, Berner D, Talpin J-P. Automated generation of synchronous formal models from SystemC descriptions. Journal of Circuits, Systems and ComputersJournal of Circuits, Systems and Computers. 2019;28 :1950061.