Consistency Preserving Development of Embedded Systems Using AADL | IEEE Conference Publication | IEEE Xplore