Embedded Software: Facts, Figures, and Future

By C. Ebert, Capers Jones. Computer, 2009

391 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Model checking lots of systems: efficient verification of temporal properties in software product lines (2010, background): “A set of features can be seen as the speciﬁcation of a product , i.e. a particular member of the product line.”