1. Sinha, R., Roop, P.S., Salcic, Z., Basu, S.: Correct-by-construction multi-component SoC design. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2012, San Jose, CA, USA. EDA Consortium, pp. 647–652 (2012)
2. Martin, G., Bailey, B., Piziali, A.: ESL Design and Verification: A Prescription for Electronic System Level Methodology. Morgan Kaufmann, San Mateo (2007)
3. Passerone, R., Rowson, J.A., Sangiovanni-Vincentelli, A.: Automatic synthesis of interfaces between incompatible protocols. In: Proceedings of the 35th Annual Design Automation Conference, DAC 1998. ACM, New York (1998).
http://doi.acm.org/10.1145/277044.277047
4. Petrenko, A., Yevtushenko, N.: Solving asynchronous equations. In: Budkowski, S., Cavalli, A., Najm, E. (eds.) FORTE XI/PSTV XVIII 1998, pp. 231–247. Kluwer Academic Publishers, Dordrecht (1998)
5. Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A., Sangiovanni-Vincentelli, A.: Solution of parallel language equations for logic synthesis. In: The Proceedings of the International Conference on Computer-Aided Design, pp. 103–110, November 2001