Janusz Zalewski is a Professor of Computer Science and Engineering at Florida Gulf Coast University. He obtained his Ph.D. in Computer Science, from Warsaw University of Technology in 1979. He previously held academic positions at Embry-Riddle Aeronautical University and University of Central Florida, and worked on projects for the Superconducting Super Collider, Lawrence Livermore National Laboratory, NASA and the FAA, as well as for a number of private companies, including Lockheed Martin, Harris, Boeing and others. His research interests include software engineering, real-time safety-critical