A quantitative comparison of the effects of modeling approaches on system verification using a controlled challenge problem Academic Article uri icon