Increasing the Pipeline: Research and Education on Stimulating Interest in High Confidence Software and Systems July 7, 2015 attayek