Developing Secure and Safe Systems with Knowledge Acquisition for Automated Specificationby David BartonWriting a summary for young readers…For young readersBook data: Open Library