Tony Modica: Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems. ICGT 2010: 400-402