Formalizing requirements with object models and temporal constraints.

MLA

Cimatti, Alessandro, et al. “Formalizing Requirements with Object Models and Temporal Constraints.” Software & Systems Modeling, vol. 10, no. 2, May 2011, pp. 147–60. EBSCOhost, https://doi.org/10.1007/s10270-009-0130-7.

APA

Cimatti, A., Roveri, M., Susi, A., & Tonetta, S. (2011). Formalizing requirements with object models and temporal constraints. Software & Systems Modeling, 10(2), 147–160. https://doi.org/10.1007/s10270-009-0130-7

Chicago

Cimatti, Alessandro, Marco Roveri, Angelo Susi, and Stefano Tonetta. 2011. “Formalizing Requirements with Object Models and Temporal Constraints.” Software & Systems Modeling 10 (2): 147–60. doi:10.1007/s10270-009-0130-7.