Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing | IEEE Conference Publication | IEEE Xplore