ModelSpecification Model the lights of this project proposal: https://abz2020.uni-ulm.de/resources/files/casestudyABZ2020v1.17.pdf first chapter