Idress Husien, Nicolas Berthier, Sven Schewe: A hot method for synthesising cool controllers. SPIN 2017: 122-131