Semantics Preserving Micro-Instant Implementation of Synchronous Programs. - Vinod Kumar; Kanchan Bokil; Ashwin Nivangune; Peeyush Jain (ICIT, 2008)