# of records = 6
homepages/74/3749 conf/icse/BeekMLGFS05 journals/entcs/BeekMLGFS05 conf/cbse/TivoliIPFS04 journals/tcad/CiampoliniFPGRB89 journals/tcad/ForghieriGCGRB88
XML
