Extending Harmless architecture description language for embedded real-time systems validation | IEEE Conference Publication | IEEE Xplore