Reactive Systems: Suggestions for student projects