Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems. - Davi Monteiro Barbosa; Rómulo Gadelha de Moura Lima; Paulo Henrique Mendes Maia; Evilásio Costa Junior (SEAMS@ICSE, 2017)

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). - Davi Monteiro Barbosa; Rómulo Gadelha de Moura Lima; Paulo Henrique Mendes Maia; Evilásio Costa Junior (Dagstuhl Artifacts Ser., 2017)