@misc {IOPORT.70007741,
    author       = {Bocchi, Laura and Tuosto, Emilio},
    title        = {Testing attribute-based transactions in SOC},
    howpublished = {FMOODS/FORTE, 87-94 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-13464-7_8},
    identifier   = {70007741},
}