Vincenzo Martena Pierluigi San Pietro Alias Analysis by Means of a Model Checker. 3-19 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270003.htm db/conf/cc/cc2001.html#MartenaP01