References
- Amirijoo , M. , Tešanović , A. and Nadjim-Tehrani , S. . Raising motivation in real-time laboratories: The soccer scenario . Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education . Norfolk, VA. pp. 265 – 269 .
- Barnes , J. 2003 . High integrity software, the SPARK approach to safety and security , Harlow, , England : Addison-Wesley .
- Blaha , M. and Rumbaugh , J. 2004 . Object-oriented modeling and design with UML , (2nd ed.) , Upper Saddle River, NJ : Prentice Hall .
- Burns , A. and Wellings , A. 2001 . Real-time systems and programming languages , (3rd ed.) , Harlow, , England : Addison Wesley .
- Eisenstadt , M. 1997 . My hairiest bug war stories . Communications of the ACM , 40 ( 4 ) : 30 – 37 .
- McCormick , J. 1997 . Forum letter . Communications of the ACM , 40 ( 8 ) : 30
- McCormick , J. . We've been working on the railroad: A laboratory for real-time embedded systems . Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education . St Louis, MO. pp. 530 – 534 .
- Potratz , E. 2004 . A practical comparison between Java and Ada in implementing a real-time embedded system . Ada Letters , 25 ( 1 ) : 71 – 83 .