2022-03-022022-03-0219950-8186-7076-20-7803-2528-10-89791-771-5https://publica.fraunhofer.de/handle/publica/131586Eighth International Symposium on System Synthesis 1995. Proceedings