TY - RPRT TI - Requirements Contracts: Definition, Design, and Analysis AU - Ivan J. Jureta PY - 2021 UR - https://arxiv.org/abs/2104.14110 ID - 2104.14110 ER -