Conclusions and Open Problems - The Unknown Component Problem: Theory and Applications - page 285

References
1. R. Anido, A.R. Cavalli, L.A. Paula Lima Jr., N. Yevtushenko, Test suite minimization for
testing in context. Softw. Test. Verif. Reliab. 13 (3), 141-155 (2003)
2. A. Arnold, Finite Transition Systems: Semantics of Communicating Systems . (Prentice Hall,
Englewood Cliffs, NJ, 1994)
3. K. Avnit, A. Sowmya, A formal approach to design space exploration of protocol converters.
in The Proceedings of the Design, Automation and Test in Europe Conference , pp. 129-134,
April 2009
4. A. Aziz, F. Balarin, R.K. Brayton, M.D. Di Benedetto, A. Saldanha, A.L. Sangiovanni-
Vincentelli, Supervisory control of finite state machines. in Proceedings of the International
Conference on Computer-Aided Verification , pp. 279-292, July 1995
5. A. Aziz, F. Balarin, R.K. Brayton, A. Sangiovanni-Vincentelli, Sequential synthesis using
S1S. IEEE Trans. Comput. Aided Des. 19 (10), 1149-1162 (2000)
6. F. Balarin, R. Passerone, Specification, synthesis, and simulation of transactor processes.
IEEE Trans. CAD Integr. Circuits Syst. 26 (10), 1749-1762 (2007)
7. M. Barbeau, R. St-Denis, Beyond the verification approach: the synthesis approach. in Real-
Time Systems: Modeling, Design, and Applications , eds. by D. Ionescu, A. Cornell (World
Scientific, New York, 2007), pp. 197-218
8. G. Barrett, S. Lafortune, Bisimulation, the supervisory control problem and strong model
matching for finite state machines. Discrete Event Dyn. Syst. Theory Appl. 8 (4), 377-429
(1998)
9. M. Di Benedetto, A. Saldanha, A. Sangiovanni-Vincentelli, Model matching for finite state
machines. in Proceedings of the IEEE Conference on Decision and Control , pp. 3117-3124,
Dec 1994
10. M. Di Benedetto, A. Saldanha, A. Sangiovanni-Vincentelli, Strong model matching for finite
state machines. in European Conference on Control , pp. 2027-2034, Sept 1995
11. M. Di Benedetto, A. Saldanha, A. Sangiovanni-Vincentelli, Strong model matching for
finite state machines with non-deterministic reference model. in Proceedings of the IEEE
Conference on Decision and Control , pp. 422-426, Dec 1995
12. M. Di Benedetto, A. Sangiovanni-Vincentelli, T. Villa, Model Matching for Finite State
Machines. IEEE Trans. Automat. Control 46 (11), 1726-1743 (2001)
13. P. Bhaduri, S. Ramesh, Interface synthesis and protocol conversion. Formal Aspects Comput.
20 , 205-224 (2008). 10.1007/s00165-007-0045-4.
14. N. Blum, An O (n log n) implementation of the standard method for minimizing n-state finite
automata. Inform. Process. Lett. 57 , 65-69 (1996)