Behavioral specification based runtime monitors for OSGi services

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

:405-419

2012