Balabko, Wegmann, 2003. From RM-ODP to the Formal Behavior Representation, in: . Springer Netherlands.. https://doi.org/10.1007/978-94-017-2740-2_3