Frederick T. Sheldon, Claire Vishik: Moving Toward Trustworthy Systems: R&D Essentials. Computer 43(9): 31-40 (2010)