For citations:

Naumchev A., Mazzara M., Meyer B., Bruel J., Galinier F., Ebersold S. A contract-based method to specify stimulus-response requirements. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(4):39-54. https://doi.org/10.15514/ISPRAS-2017-29(4)-3