MCMAS-SLK: A model checker for the verification of strategy logic specifications.