The papers on the Storm model checker and the parameter synthesis tool Prophesy are both among the five most cited CAV papers in the period 2015-2021. CAV (Computer-Aided Verification) is a flagship conference on automated verification, in particular model checking.

More details can be found here: https://scholar.google.com.au/citations?hl=en&vq=eng_computerhardwaredesign&view_op=list_hcore&venue=qgBvh59sjMQJ.2020