@article{SMK+8,
title = {{Early validation of system requirements and design through correctness-by-construction} },
author = {Stachtiari, Emmanouela and Mavridou, Anastasia and Katsaros, Panagiotis and Bliudze, Simon and Sifakis, Joseph},
year = {2018},
journal = {{Journal of Systems and Software}},
pages = {52-78},
publisher = {{Elsevier}},
volume = {145},
team = {RSD},
}