Development and Verification of a Microservice Architecture for a Fire Risk Notification System. - Strand, Ruben Dobler; Kristensen, Lars Michael; Petrucci, Laure (Trans. Petri Nets Other Model. Concurr., 2023)