A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor. - Ryo Mizutani; Kenji Ohmori (CW, 2012)