... → inp=1 → (m, qb-1) inp=0 → (m+1, qb) inp=1 → inp=1 → (n, qb) inp=0/IMP → (n+1, q1) i, j, k, m, n are integers representing discrete time instances in increasing order. ... Embedded Control Design Behavioral and Architectural Specifications in Embedded Control System Designs. Proceedings of Fourth International Conference on Informatics in Control, Automation and ... → inp=1 → (m, qb-1) inp=0 → (m+1, qb) inp=1 → inp=1 → (n, qb) inp=0/IMP → (n+1, q1) i, j, k, m, n are integers representing discrete time instances in increasing order....