Experimentálny znalostný systém na vnorenej platforme - Binder, Martin, 1987- (STU v Bratislave FIIT, 2011)