Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang. Usage Scenarios for an Automated Model Compiler. In Thomas A. Henzinger, Christoph M. Kirsch, editors, Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Volume 2211 of Lecture Notes in Computer Science, pages 66-79, Springer, 2001. [doi]
Abstract is missing.