SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities.
Koorosh AslansefatPanagiota NikolaouMartin WalkerMohammed Naveed AkramIoannis SorokosJan ReichPanayiotis KoliosMaria K. MichaelTheocharis TheocharidesGeorgios EllinasDaniel SchneiderYiannis PapadopoulosPublished in: IMBSA (2022)