Click on Video: Population CTMCs to open the resource.