updated from master
updated drawing documentation
updated formal specification
auto update ofdevelopment version of specification
updated from master