Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour.

Michael Szvetits, Uwe Zdun

Browse the full APSEC paper archive.