@article{629adc57d450467898106aa1cb24ea97,
title = "Parametrised modal interface automata",
keywords = "interface automata, modal systems, parametrised systems, interface automata, modal systems, parametrised systems, interface automata, modal systems, parametrised systems",
author = "Antti Siirtola and Keijo Heljanko",
note = "VK: Heljanko, K.; HIIT; TRITON",
year = "2015",
doi = "10.1145/2776892",
language = "English",
volume = "14",
pages = "Article No. 65, pp. 1--15",
journal = "ACM Transactions on Embedded Computing Systems",
issn = "1539-9087",
publisher = "ACM",
number = "4",
}