Dias, RJ, Distefano D, Seco JC, Lourenço J.  2010.  StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. : CITI / DI-FCT-UNL