@misc {IOPORT.70803795,
    author       = {Dr\'abik, Peter and Maggiolo-Schettini, Andrea and Milazzo, Paolo},
    title        = {Dynamic sync-programs for modular verification of biological systems},
    howpublished = {NCMA, 71-83 (2010).},
    year         = {2010},
    identifier   = {70803795},
}