Embedded Softwareby Alberto Sangiovanni-Vincentelli, Joseph SifakisWriting a summary for young readers…For young readersBook data: Open Library