Automated Validation of Software Models. - Steve Sims; Rance Cleaveland; Ken Butts; Scott Ranville (ASE, 2001)

Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems. - John Mills; Raymond Turin; Jeremy Mangas; Scott Ranville (ICSA Companion, 2018)