The LIME Interface Specification Language and Runtime Monitoring Tool.

Kari Khknen, Jani Lampinen, Keijo Heljanko, Ilkka Niemel

Browse the full RV paper archive.