1. M. Adamski (1987) Direct Implementation of Petri Net Specification 7th Int’l Conf. on Control Systems and Computer Science, pp. 74–85.
2. M. Adamski (1991) Parallel Controller Implementation Using Standard PLD Software In W. Moore and W. Luk (Eds.), Edited Papers from the Int’l Workshop on Field Programmable Logic and Applications, pp. 296–304.
3. A. Amroun and M. Bolton (1989) Synthesis of Controllers from Petri Net Descriptions and Application of ELLA Proc. of the IMEC-IFIP Int’l Workshop on Applied Formal Methods for Correct VLSI Design, pp. 57–74, North-Holland.
4. P. Ashar, S. Devadas and A.R. Newton (1990) A Unified Approach to the Decomposition and Re-decomposition of Sequential Machines Proc. of 27th ACM/IEEE DAC, pp. 601–606.
5. I. Augé, R. Bawa, P. Guerrier, A. Greiner, L. Jacomme and F. Pétrot (1997) User Guided High Level Synthesis Proc. of the IX IFIP Int’l Conf. on VLSI.