README udpdate + Uppaal model