Advanced NuSMV exercise: Individual contribution (optional)

This part is only needed if you want to complete part of the optional points by yourself, instead of with the group.

Please note that at least half of the optional points need to have been attempted as a group exercise, as described in the assignment.

Please upload your solution(s) as an SMV file, as multiple files, or as an archive (.tar.gz).