A discussion of fault-tolerant supervisory control in terms of formal languages. (2016)