Supporting agile development by facilitating natural user interaction with executable formal specifications. - Timo Nummenmaa; Aleksi Tiensuu; Eleni Berki; Tommi Mikkonen; Jussi Kuittinen; Annakaisa Kultima (ACM SIGSOFT Softw. Eng. Notes, 2011)