@phdthesis{Kab2002,
Author = {Kabous, Laila},
Title = {An Object Oriented Design Methodology for Hard Real Time Systems: The OOHARTS Approach},

Year = {2002},
Month = {10},
type = {phdthesis}
}
@COMMENT{Bibtex file generated on }