@inproceedings{LR18,
    author = {Jianwen Li and Kristin Yvonne Rozier},
    title = {{MLTL Benchmark Generation via Formula Progression}},
    booktitle = {{Proceedings of the 18th International Conference on Runtime Verification (RV18)}},
    publisher = {Springer-Verlag},
    address = {Limassol, Cyprus},
    month = {November},
    year = {2018},
}