marker.net
http://www.qnx.com/news/events/safe_systems/index_en.html