A New System Development Framework Driven by a Model-Based Testing Approach Bridged by Information Flow. - Di Zhu 006; Ewan G. D. Pritchard; Larry M. Silverberg (IEEE Syst. J., 2018)