Agile or V-Model – Can Modern it Frameworks and Tools Deliver Software Assurance for ATM-Grade Applications | IEEE Conference Publication | IEEE Xplore