00390nas a2200157   4500000000100000000000100001000000100002008004100003100001600044700001800060700001600078245010300094300001400197490000700211022001400218       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