Nice submission, but it should be just "Refinement-based approach to reasoning of optimized reactive systems" and not start with "Show HN". For some reason, people feel compelled to put "Show HN" at the beginning of ordinary posts.