Behavioral specification based runtime monitors for OSGi services

Jan Olaf Blech , Yliès Falcone , Harald Rueß und Bernhard Schätz

:405-419

2012