Barbara Liskov
Institute Professor, MIT
Behavioral validation of JFSL specifications through model synthesis
Proceedings of the 34th International Conference on Software Engineering