A quantitative comparison of the effects of modeling approaches on system verification using a controlled challenge problem. - Don Barrett; Thomas A. Mazzuchi; Shahram Sarkani (Requir. Eng., 2021)