An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain | IEEE Conference Publication | IEEE Xplore