Tekstiviesti: Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system / by Renzhong Wang.