Media type: E-Article Title: Lecture Notes in Computer Science: Sequentialising Nested Systems Contributor: Pimentel, Elaine; Ramanayake, Revantha; Lellmann, Björn Published: Springer International Publishing, 2019 Published in: Lecture Notes in Computer Science (2019), Seite 147-165 Language: English DOI: 10.1007/978-3-030-29026-9_9 ISBN: 9783030290252; 9783030290269 ISSN: 0302-9743; 1611-3349 Origination: Footnote: