Marwedel, P., 2021. Specifications and Modeling, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-60910-8_2