The textbook for the CIS 642/CIS 643 course
Source files for CIS 527 Online curriculum
Repository for AADL models for the Open PCA Pump