Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. - Ted Bapty; Sandeep Neema; Steven Nordstrom; Shweta Shetty; Divya Vashishtha; Jason Overdorf; Paul Sheldon (ECBS, 2003)