Bridge Methods: Complementary Steps Integrating Agile Development Tools and Methods with Formal Process Methodologies | IEEE Conference Publication | IEEE Xplore