TY - DATA AU - Miquel Bertran, Teodor Rus TI - Transformation-Based Reactive Systems Development SN - 9783540690580 PY - 1997/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-63010-4 ER -