Berlin Clock implementation using TDD