QRML: A Component Language and Toolset for Quality and Resource Management.

Freek van den Berg, Vclav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Snchez, Toms Bures, Twan Basten

Browse the full FDL paper archive.