“Semantically-enhanced Feedback Control Systems”, by George Milis