@InProceedings{bpjs-liveness,
    author="Bar-Sinai, Michael
    and Weiss, Gera",
    editor="Margaria, Tiziana
    and Steffen, Bernhard",
    title="Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs",
    booktitle="Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends",
    year="2021",
    publisher="Springer International Publishing",
    address="Cham",
    pages="199--215",
    isbn="978-3-030-83723-5",
    doi="10.1007/978-3-030-83723-5_14",
    url="https://doi.org/10.1007/978-3-030-83723-5_14"
}