Ferrando, A.,
Cardoso, R. C.,
Farrell, M.,
Luckcuck, M.,
Papacchini, F.,
Fisher, M. &
Mascardi, V.,
18/08/2022,
In: Formal Methods in System Design. 59,
1-3,
p. 44-76 33 p.Research output: Contribution to Journal/Magazine › Journal article › peer-review