Löwe, M. (2010) “Position Paper: Formal Methods in Agile Development”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.425.