Generic Process Framework for Developing High-Integrity Software. - Binazir Biglari; Raman Ramsin (SoMeT, 2012)