Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu | IEEE Conference Publication | IEEE Xplore