Inseok Hwang Hamsa Balakrishnan Ronojoy Ghosh Claire Tomlin Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. 715-724 2002 conf/hipc/2002 HiPC http://link.springer.de/link/service/series/0558/bibs/2552/25520715.htm db/conf/hipc/hipc2002.html#HwangBGT02