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