A New System Development Framework Driven by a Model-Based Testing Approach Bridged by Information Flow | IEEE Journals & Magazine | IEEE Xplore