Applying SOFL to Constructing a Smart Traffic Light Specification. - Wahyu Eko Sulistiono; Shaoying Liu (SOFL+MSVL, 2013)