Bolt - A Block Oriented Design Specification Language | IEEE Conference Publication | IEEE Xplore