Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos: Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA 2023: 55-60