Procedure exlining: a new system-level specification transformation | IEEE Conference Publication | IEEE Xplore