_id,doi,title 3841,10.1007/978-3-642-04420-5_2,Formalisms for specifying Markovian population models