@article {IOPORT.05928853,
    author       = {Bostr\"om, Pontus and Degerlund, Fredrik and Sere, Kaisa and Wald\'en, Marina A.},
    title        = {Concurrent scheduling of event-B models.},
    year         = {2011},
    journal      = {Computing Research Repository (CoRR)},
    volume       = {2011},
    pages        = {Article No. 1106.4100},
    publisher    = {Association for Computing Machinery, New York, NY; Cornell University, Ithaka, NY},
    identifier   = {05928853},
}