Dori, Korda, Soffer, Cohen, 2004. SMART: System Model Acquisition from Requirements Text, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-25970-1_12