CO3401 Assignment 2014 - Simulation of car parking for conference company, highlighting use of Spec#.