Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow. On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 43(1):139-148, 2013. [doi]
Abstract is missing.