Using Models in Developing Software for Self-Driving Cars(infoq.com)

https://www.infoq.com/news/2016/07/models-software-self-driving-car#.V59NNfe2Oa4.hackernews