2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/81471International Workshop on Information Systems-Correctness and Reusability (IS-CORE) 1993