Cerone, Antonio2022-03-022022-03-022021978-3-030-71373-7978-3-030-71374-4https://publica.fraunhofer.de/handle/publica/166810Formal Methods - Fun for Everybody. First International Workshop, FMFun 2019