SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata

1. Gao, H.
2. Zhang, Y.
3. Miao, H.
4. Barroso, R.J.D.
5. Yang, X.