Added images about first iteration UPPAAL models
Updated the design and modeling text.