https://dds.las.ac.cn/service/document?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1763013840966&signature=fc81a3a5f8e3e3288751b8958a24c361&articleTitle=Formal+Methods+for+Computational+Systems+Biology&articleAuthor=Marco+Bernardo%2C+Pierpaolo+Degano%2C+Gianluigi+Zavattaro&publicationTitle=Formal+Methods+for+Computational+Systems+Biology&language=&publicationType=1&publishYear=2008&isn=9783540688921&publisher=Springer+Berlin+Heidelberg