Documents From Models to Code: The Missing Link in Embedded Software Tom Henzinger University of California,.....

From Models to Code: The Missing Link in Embedded Software Tom Henzinger University of California, Berkeley Joint work with Ben Horowitz and Christoph Kirsch The History…