A Functional Reactive DSL Service Facility for Mixed-Reality Interactive Performance Art | IEEE Conference Publication | IEEE Xplore