Teaching cyber-physical systems to computer scientists via modeling and verification. - Kostadin Damevski; Badreldin Altayeb; Hui Chen 001; David Walter (SIGCSE, 2013)

Utilizing and enhancing software modeling environments to teach mobile application design. - Badreldin Altayeb; Kostadin Damevski (J. Comput. Sci. Coll., 2013)