@misc {IOPORT.70576179,
    author       = {Batory, Don S.},
    title        = {Towards verification of product lines},
    howpublished = {ITP, 1 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22863-6_1},
    identifier   = {70576179},
}