Formal methods for engineering special-purpose parallel systems introduction to minitrack | IEEE Conference Publication | IEEE Xplore