@INCOLLECTION{HustadtDixonEtal05,
AUTHOR = {Hustadt, U. and Dixon, C. and Schmidt, R. A. and Fisher, M. and Meyer, J.-J. and van der Hoek, W.},
YEAR = {2006},
TITLE = {Verification within the {KARO} Agent Theory},
EDITOR = {Rouff, C. and Hinchey, M. and Rash, J. and Truszkowski, W. and Gordon-Spears, D.}, 
BOOKTITLE = {Agent Technology from a Formal Perspective},
SERIES = {NASA Monographs in Systems and Software Engineering},
PUBLISHER = {Springer},
ISBN = {1-85233-947-0},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtDixonEtal05.html},
}