Bernardo, M.2022-03-022022-03-0220113-642-21454-1978-3-642-21454-7978-3-642-21455-4https://publica.fraunhofer.de/handle/publica/152854Formal methods for eternal networked software systems