The TinyMAS multiagent platform (deprecated)