doi          = "10.1007/978-3-642-02658-4_10",
 doi          = "10.1007/978-3-642-15643-4_6",
 doi          = "10.1109/LICS.2005.53",
 doi          = "10.1007/978-3-642-14295-6_35",
 doi          = "10.1007/978-3-540-88387-6_5",
 doi          = "10.1007/978-3-642-19237-1_13",
 doi          = "10.1007/978-3-642-12002-2_36",
 doi          = "10.1007/978-3-642-22110-1_41",
 doi          = "10.1007/978-3-642-24372-1_31",
 doi          = "10.1007/3-540-48224-5_33",
 doi          = "10.1002/cpe.903",
 doi          = "10.1007/978-3-540-71410-1_10",
 doi          = "10.1007/978-3-540-75596-8_20",
 doi          = "10.1016/j.sysconle.2004.10.002",
 doi          = "10.1016/j.ipl.2004.01.004",
 doi          = "10.1023/A:1015625600613",