Volcano - Enabling Correctness by Design. - Antal Rajnak (Embedded Systems Handbook, 2005)

Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems. - Antal Rajnak; Ajay Kumar (DAC, 2007)

The LIN Standard. - Antal Rajnak (Networked Embedded Systems, 2009)

Volcano: Enabling Correctness by Design. - Antal Rajnak (Networked Embedded Systems, 2009)