Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler. Reusing Formal Models via Lifting. In 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. pages 189-192, IEEE, 2018. [doi]