Ji, Liu, Lin, Sun, Dong, Nguyen, 2013. CELL: A Compositional Verification Framework, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-02444-8_38