Lab version of JASS, © Department of Systems and Control, Uppsala University