00364nas a2200133   4500000000100000008004100001100001600042700001800058700001600076245010300092300001400195490000700209022001400216       2011                            d1 aArtur Rataj1 aMateusz Nowak1 aPiotr Pecka00aModelling CTMC with a standard programming language and using conventions from computer networking  a229–2430 v23  a1896-5334