Konstantinos Mokos, Panagiotis Katsaros: A survey on the formalisation of system requirements and their validation. Array 7: 100030 (2020)