Margaria, T.2022-03-022022-03-022008https://publica.fraunhofer.de/handle/publica/147035International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004. Revised selected papers