[Alloy Analyzer] Cruise Control System1 ref: http://qiita.com/kencoba/items/3278a89afde286348929