Damian, A., et al.. Checklist-based Techniques with Gamification and Traditional Approaches for Inspection of Interaction Models. Institution of Engineering and Technology (IET), Jan. 2020, doi:10.1049/iet-sen.2019.0171.