Formal Methods for the Informal Engineer: Workshop Recommendations | Read Paper on Bytez