. . . . "Model Checking Transactional Sapphire (Other)"^^ . . . . .