Franz Franchetti, Aliaksei Sandryhaila and Jeremy Johnson (Proc. SPIE, Proceedings of SPIE 2014, 2014)
High Assurance SPIRAL
Published paper (link to publisher)
Bibtex

Keywords:
Spiral overview paper