Jüri VainBooksSystem AssurancesAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International WorkshopsFormal Techniques for Networked and Distributed Systems - FORTE 2007Author data: Open Library