Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae: Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. MoDELS 2012: 465-479