@INCOLLECTION{HDSFMH2005,
 AUTHOR        = {Hustadt, Ullrich and Dixon, C. and Schmidt, R. A. and Fisher, M.
 and Meyer, J.-J. C. and van der Hoek, W.},
 TITLE         = {Verification within the {KARO} Agent Theory},
 BOOKTITLE     = {Agent Technology from a Formal Perspective},
 YEAR          = {2001},
 EDITOR        = {Rouff, C. A. and Hinchey, M. G. and 
 Rash, J. L. and Truszkowski, W. and Gordon-Spears, D.},
 PUBLISHER     = {Springer},
 PAGES         = {193--226},
 PYEAR         = {2005},
 SERIES        = {NASA Monographs in Systems and Software Engineering},
 ISBN          = {1-85233-947-0}
}