TY - CONF T1 - Reliable counterparts JO - Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings UR - http://dx.doi.org/10.1145/3550356.3561589 PY - 2022/11/09 AU - Somers RJ AU - Clark AG AU - Walkinshaw N AU - Hierons RM ED - DO - DOI: 10.1145/3550356.3561589 PB - ACM Y2 - 2024/12/22 ER -