_id,doi,title
1835,10.1007/978-3-662-46681-0_47,Model checking gene regulatory networks