Media type: E-Article Title: Computer Aided Verification: Automated Synthesis of Secure Platform Mappings Contributor: Kang, Eunsuk; Lafortune, Stéphane; Tripakis, Stavros Published: Springer International Publishing, 2019 Published in: Computer Aided Verification (2019), Seite 219-237 Language: Not determined DOI: 10.1007/978-3-030-25540-4_12 ISBN: 9783030255398; 9783030255404 ISSN: 0302-9743; 1611-3349 Origination: Footnote: