Improving Flexibility in Embedded System Runtime Verification with Python. - Wanjin Zhou; Feifei Hu; Junyan Ma (ISSRE Workshops, 2022)