Protocol Monitors: a Control-System Structuring Concept. - Sandén, Bo I. (Ada User Journal, 2017)