Questioning integration of verification in model-based systems engineering: an industrial perspective⋆. - Christopher Laing; Pierre David; Eric Blanco; Xavier Dorel (Comput. Ind., 2020)