Behavioral specification based runtime monitors for OSGi services

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

:405-419

2012