A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment | IEEE Conference Publication | IEEE Xplore