On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata | IEEE Journals & Magazine | IEEE Xplore