Envoyer par SMS: Mathematical frameworks for component software models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. [electronic resource] :