@incollection{Larsen_2007,
    doi = {10.1007/978-3-540-71316-6_6},
    url = {https://doi.org/10.1007%2F978-3-540-71316-6_6},
    year = {2007},
    publisher = {Springer Berlin Heidelberg},
    pages = {64--79},
    author = {Kim G. Larsen and Ulrik Nyman and Andrzej W{\k{a}}sowski},
    title = {Modal I/O Automata for Interface and Product Line Theories},
    booktitle = {Programming Languages and Systems}
}

@incollection{Larsen_2007, doi = {10.1007/978-3-540-71316-6_6}, url = {https://doi.org/10.1007%2F978-3-540-71316-6_6}, year = {2007}, publisher = {Springer Berlin Heidelberg}, pages = {64--79}, author = {Kim G. Larsen and Ulrik Nyman and Andrzej W{\k{a}}sowski}, title = {Modal I/O Automata for Interface and Product Line Theories}, booktitle = {Programming Languages and Systems} }