@phdthesisKab2002, Author = {Kabous, Laila}, Title = {An Object Oriented Design Methodology for Hard Real Time Systems: The OOHARTS Approach}, Year = {2002}, Month = {10}, type = {phdthesis} @COMMENTBibtex file generated on