Compositional Model Checking for Multi-properties. - Ohad Goudsmid; Orna Grumberg; Sarai Sheinvald (VMCAI, 2021)