Manfred Broy Seamless Model-Based System Development: Foundations - (Extended Abstract). 1-9 2019 SETSS https://doi.org/10.1007/978-3-030-55089-9_1 conf/setss/2019 db/conf/setss/setss2019.html#Broy19