Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal | IEEE Conference Publication | IEEE Xplore