Overview of the VeriSM model