Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies | IEEE Conference Publication | IEEE Xplore