M. Löwe, “Position Paper: Formal Methods in Agile Development”, ECEASST, vol. 30, Nov. 2010.