Software Components Compatibility Verification Based on Static Byte-Code Analysis. - Kamil Jezek; Lukas Holy; Antonin Slezacek; Premek Brada (EUROMICRO-SEAA, 2013)