selected publications conference paper Verification of behavioral compatibility in the Virtual Integration methodology. . 2010