Writing Tests for Timed Games - Low Level Design