1. CM-1 Dataset PROMISE Website,
http://promisedata.org/promised/trunk/promisedata.org/data/cm1-maintain/cm1-maintain.txt
(accessed: April 18, 2013)
2. MODIS Science Data Processing Software Requirements Specification Version 2, SDST-089, GSFC SBRS (November 1997),
http://www.fas.org/irp/program/collect/uav_tcs.htm
3. UAV Tactical Control System (May 2010),
http://www.fas.org/irp/program/collect/uav_tcs.htm
4. Regional Real-Time Transit Information System System Requirements Version 3.0 (2012),
http://www.mtc.ca.gov/planning/tcip/Real-Time_TransitSystemRequirements_v3.0.pdf
(accessed: April 18, 2013)
5. Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257–279. Kluwer Academic Publishers, Norwell (2000)