Add minimal LinCCAL-style case study#13

pstetson53 wants to merge 3 commits intoCertiKOS:masterCertiKOS/rbgs:masterfrom

pstetson53:linccal-case-studypstetson53/rbgsc:linccal-case-studyCopy head branch name to clipboard