@article {:1999:1022-7091:1,
	title = "Preface",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "1-3",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326205"
}

@article {Bastani:1999:1022-7091:5,
	author = "Bastani F.B.",
	title = "Relational programs: An architecture for robust real-time safety-critical process-control systems",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "5-24",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326215"
}

@article {Lee:1999:1022-7091:25,
	author = "Lee E.A.",
	title = "Modeling concurrent real-time processes using discrete events",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "25-45",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326214"
}

@article {Deng:1999:1022-7091:47,
	author = "Deng Y. and Wang J.",
	title = "Integrated architectural modeling and analysis for high-assurance command and control system design",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "47-70",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326213"
}

@article {Kazman:1999:1022-7091:71,
	author = "Kazman R. and Klein M. and Clements P.",
	title = "Evaluating software architectures for real-time systems",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "71-93",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326216"
}

@article {Tsai:1999:1022-7091:95,
	author = "Tsai J.J.P. and Xu K.",
	title = "An empirical evaluation of deadlock detection in software architecture specifications",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "95-126",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326217"
}

@article {Bhat:1999:1022-7091:127,
	author = "Bhat G. and Cleaveland R. and Luttgen G.",
	title = "A practical approach to implementing real-time semantics",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "127-155",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326206"
}

@article {Cooke:1999:1022-7091:157,
	author = "Cooke D.E. and Dampier D.",
	title = "A real-time version of SequenceL",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "157-176",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326212"
}

@article {Kolano:1999:1022-7091:177,
	author = "Kolano P.Z. and Dang Z. and Kemmerer R.A.",
	title = "The design and analysis of real-time systems using the ASTRAL software development environment",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "177-210",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326207"
}

@article {Sokolsky:1999:1022-7091:211,
	author = "Sokolsky O. and Lee I. and Ben-Abdallah H.",
	title = "Specification and analysis of real-time systems with PARAGON",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "211-234",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326209"
}

@article {Zedan:1999:1022-7091:235,
	author = "Zedan H. and Cau A. and Chen Z. and Yang H.",
	title = "ATOM: An object-based formal method for real-time systems",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "235-256",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326211"
}

@article {Nielsen:1999:1022-7091:257,
	author = "Nielsen B. and Agha G.",
	title = "Towards reusable real-time objects",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "257-282",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326208"
}

@article {Wang:1999:1022-7091:283,
	author = "Wang Y. and King G. and Patel D. and Patel S. and Dorling A.",
	title = "On coping with real-time software dynamic inconsistency by built-in tests",
	journal = "Annals of Software Engineering",
	volume = "7",
	number = "1/4",
	year = "1999",
	pages = "283-296",
	url = "http://www.ingentaconnect.com/content/klu/anse/1999/00000007/F0040001/00326210"
}