@inproceedings{SchorerKuntzMottok2021, author = {Michael Schorer and Stefan Kuntz and J{\"u}rgen Mottok}, title = {Verification of Behavioral Compatibility in the Virtual Integration Methodology}, booktitle = {8th IEEE Workshop on Intelligent Solutions in Embedded Systems,Heraklion, Greece, July 2010}, pages = {35 -- 42}, doi = {10.1109/WISES.2010.5548424}, year = {2021}, }