International Conference on Formal Aspects of Component Software, page. 78 - 97, 2017-10-11
International Conference on Formal Methods in Computer-Aided Design, page. 180 - 187, 2017-10-05