Summary:  Functional and Performance Requirements Specification
for the Earth Observing System Data and Information Sys-
tem (EOSDIS) Core System. Revision A and CH-01.
 Flight Operations Segment (FOS) Requirements Specifica-
tion for the ECS Project, Volume 1: General Require-
ments, November 1994. By Hughes Applied Information
 K. Lateef, H.H. Ammar, V. Mogulothu, T. Nikzadeh, "A
Methodology for Verification and Analysis of Parallel and
Distributed Systems Requirement Specifications", in Pro-
ceedings of the 2nd IFIP International Workshop on Soft-
ware Engineering for Parallel and Distributed Systems
(PDSE-97), IEEE Computer Society, May 1997.
 Jensen K., "Coloured Petri Nets: basic concepts, analysis
methods and practical use", Springer-Verlag, Berlin; New
York April 1992.
 Hatley Derek J, Pirbhai Imtiaz A, "Strategies for real-time
system specification", Dorset House Pub, New York,