00469nam a22001335i 4500008004100000020004400041245012600085250001700211260002800228300001300256440002800269700001900297700001900316140606s2014    nyu           000 0 eng    a9783319089140 (soft cover : alk. paper)00aModels@run.time :bfoundations, applications, and roadmaps /c[edited by] Nelly Bencomo, Robert France, Betty H.C. Cheng.  a1st edition.  aNew YorkbSpringer Cham  ax,318p.:  aState-of-the-Art Survey  aBENCOMO, Nelly  aFRANCE, Robert