Behavioral specification based runtime monitors for OSGi services

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

:405-419

2012