Francesco Aiello, Alfredo Garro, Yves Lemmens, Stefan Dutré: Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned. CIISE 2017: 54-61