Cite
APA Citation
Seiter, J., Wille, R., & Drechsler, R. (2016). Automatic methods for the refinement of system models : from the specification to the implementation. Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100071523584.0x000001