Formalizing Operations Intent and Effects for Network-Centric Applications. - Per M. Gustavsson; Michael R. Hieb; Lars Niklasson; Philp Moore; Patric Eriksson (HICSS, 2009)