K: A Wide Spectrum Language for Modeling, Programming and Analysis. - Klaus Havelund; Rahul Kumar 001; Chris Delp; Bradley Clement (MODELSWARD, 2016)