Model-based Testing and Monitoring using AgileUML. - Kevin Lano; Kunxiang Jin; Shefali Tyagi (ANT/EDI40, 2021)