Glabbeek, R.J. vanR.J. vanGlabbeekGoltz, U.U.GoltzCzaja, I.I.Czaja2022-03-032022-03-031992https://publica.fraunhofer.de/handle/publica/182539enInterleaving semantics and action refinement with atomic choicebook article