@inproceedings{NikolicPZL,
   Author = {Nikoli\'c, {\DH}urica and Priami, Corrado and Zunino, Roberto},
   Title = {A {R}ule-{B}ased and {I}mperative {L}anguage for {B}iochemical {M}odeling
               and {S}imulation},
   Booktitle = {Proceedings of the 10th International Conference on Software Engineering and Formal Methods (SEFM'12)},
   Series = {Lecture Notes in Computer Science},
   Editor = {Eleftherakis, George and Hinchey, Mike and Holcombe, Mike},
   Publisher = {Springer-Verlag Berlin Heidelberg},
   Pages = {16-32},
   Volume = {7504},
   Month = {October},
   Year = {2012}
}