@inproceedings{FK18,
        author      =   "R. Faran and O. Kupferman",
        title       =   "{LTL} with Arithmetic and its Applications in Reasoning about Hierarchical Systems",
        pages = "343-362",
        series = "{EPiC} Series in Computing",
        number = "57",
        booktitle   =   lpar18,
        year        =   "2018"
}