Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions | IEEE Conference Publication | IEEE Xplore