6VMMC and EIMC Modeling-KKripke.pptx